On symbolic control design of nonlinear systems with dynamic regular language specifications
نویسندگان
چکیده
منابع مشابه
Integrated Symbolic Control Design for Nonlinear Systems with Infinite States Specifications
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because they provide a sound mathematical framework for analysing and controlling embedded systems. In this paper we give a further contribution to this research line, by addressing the problem of symbolic control design of non...
متن کاملSymbolic Control Design of Nonlinear Networked Control Systems
Networked Control Systems (NCS) are distributed systems where plants, sensors, actuators and controllers communicate over shared networks. Non-ideal behaviors of the communication network include variable sampling/transmission intervals and communication delays, packet losses, communication constraints and quantization errors. NCS have been the object of intensive study in the last few years. H...
متن کاملAdaptive Fuzzy Dynamic Sliding Mode Control of Nonlinear Systems
Two phenomena can produce chattering: switching of input control signal and the large amplitude of this switching (switching gain). To remove the switching of input control signal, dynamic sliding mode control (DSMC) is used. In DSMC switching is removed due to the integrator which is placed before the plant. However, in DSMC the augmented system (system plus the integrator) is one dimension bi...
متن کاملDynamic Sliding Mode Control of Nonlinear Systems Using Neural Networks
Dynamic sliding mode control (DSMC) of nonlinear systems using neural networks is proposed. In DSMC the chattering is removed due to the integrator which is placed before the input control signal of the plant. However, in DSMC the augmented system is one dimension bigger than the actual system i.e. the states number of augmented system is more than the actual system and then to control of such ...
متن کاملOptimal Control of Nonlinear Systems with Temporal Logic Specifications
We present a mathematical programming-based method for optimal control of nonlinear systems subject to temporal logic task specifications. We specify tasks using a fragment of linear temporal logic (LTL) that allows both finiteand infinite-horizon properties to be specified, including tasks such as surveillance, periodic motion, repeated assembly, and environmental monitoring. Our method direct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.2352